-
1 операция отрицания эквивалентности
Большой англо-русский и русско-английский словарь > операция отрицания эквивалентности
-
2 nonidentity operation
операция отрицания эквивалентности; операция размноименностиstring operation — операция над строками; строковая операция
single operation — единичная операция; полудуплексная работа
matrix operation — матричная операция; операция над матрицей
-
3 nonequivalence operation
операция отрицания эквивалентности; операция исключающее ИЛИ -
4 nonequivalence operation
Большой англо-русский и русско-английский словарь > nonequivalence operation
-
5 nonidentity operation
Большой англо-русский и русско-английский словарь > nonidentity operation
-
6 nonequivalence operation
операция отрицания эквивалентности, операция исключающее ИЛИEnglish-Russian dictionary of computer science and programming > nonequivalence operation
-
7 nonidentity operation
операция отрицания эквивалентности; операция размноимённостиEnglish-Russian dictionary of computer science and programming > nonidentity operation
-
8 nonequivalence operation
Вычислительная техника: операция исключающее ИЛИ, операция отрицания эквивалентностиУниверсальный англо-русский словарь > nonequivalence operation
-
9 nonidentity operation
Вычислительная техника: операция отрицания эквивалентности, операция разноимённости -
10 except operation
операция исключения; операция отрицания импликации
См. также в других словарях:
Логическая операция — в ЦВМ, поразрядная операция над кодами произвольной длины по правилам алгебры логики. Л. о. производится над всеми цифрами кодов одна и та же, при этом каждая цифра результата зависит не более чем от одной цифры одного или нескольких… … Большая советская энциклопедия
Логические элементы — Логические элементы устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого «1» и низкого «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… … Википедия
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ИДЕМПОТЕНТНОСТЬ — (от лат. idem – тот же самый и potens – сильный, мощный; букв. – равносильность) – свойство нек рых объектов, рассматриваемое в логике (и алгебре) и выражаемое в общем случае формулой a*a=a. В частных случаях в формуле, выражающей И., может… … Философская энциклопедия
СРАВНЕНИЕ — познават. операция, лежащая в основе суждений о сходстве или различии объектов; с помощью С. выявляются количеств. и качеств. характеристики предметов, классифицируется, упорядочивается и оценивается содержание бытия и познания. Сравнить… … Философская энциклопедия
ПРОСТРАНСТВО И ВРЕМЯ — категории, обозначающие осн. формы существования материи. Пр во (П.) выражает порядок сосуществования отд. объектов, время (В.) порядок смены явлений. П. и в. осн. понятия всех разделов физики. Они играют гл. роль на эмпирич. уровне физ. познания … Физическая энциклопедия
Сравнение (программирование) — У этого термина существуют и другие значения, см. Сравнение. Сравнение в программировании общее название ряда операций над парами значений одного типа, реализующих математические отношения равенства и порядка. В языках высокого уровня такие … Википедия
Тильда — (исп. tilde, от лат. titulus надпись) знак (строчный, надстрочный или подстрочный) в виде волнистой чёрточки (Тильда) размера Дефиса пли Тире. В лингвистике может означать назальность гласного в транскрипции ( Ударение) (в греческом) или… … Большая советская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия